Tools and algorithms for the construction and analysis of systems - 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : proceedings
- Författare
- Joint European Conferences on Theory and Practice of Software 2001) Genua : Wang Yi Tiziana Margaria International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2001) Genua :
- (Tiziana Margaria, Wang Yi, (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2001 | Tyskland, Berlin | 588 sidor. ill. |